1

A note on the normal form of closed formulas of interpretability logic

Year:
1991
Language:
english
File:
PDF, 183 KB
english, 1991